321. Database programming languages )DBPL-4( : proceedings of the Fourth International Workshop on Database Programming Languages: Object Models and Languages, Manhattan, New York City, USA, 30 August-1 September 1993
پدیدآورنده: Catriel Beeri, Atsushi Ohori, and Dennis E. Shasha )eds(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Data base management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D3
I585
1993
322. Database programming languages: 10th International Sympsosium, DBPL 2005, Trondheim, Norway, August 28-29, 2005: revised selected papers
پدیدآورنده: Gavin Bierman, Christoph Koch ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D3
I5847
2005
323. Database programming languages : 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings
پدیدآورنده: Sophie Cluet, Rick Hull, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1369
324. Database programming languages : 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001 : revised papers
پدیدآورنده: Giorgio Ghelli, Gosta Grahne )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2397
325. Database programming languages: 12th international symposium, DBPL 2009, Lyon, France, August 24, 2009: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D3
.
I585
2009
326. Database programming languages : 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers
پدیدآورنده: Georg Lausen, Dan Suciu )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2921
327. Declarative agent languages and technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
پدیدآورنده: Joao Leite... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Declarative programming
رده :
QA
76
.
L28
Vol
.
3476
328. Declarative agent languages and technologies V
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Congresses. ; Declarative programming ; Congresses. ; Intelligent agents (Computer software) ;
329. Declarative agent languages and technologies V
پدیدآورنده: / Matteo Baldoni ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses
رده :
QA
,
76
.
76
,.
I58
,
D43
,
2007
330. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
پدیدآورنده: Joao Leite...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2990
331. Deductive Software Verification – The KeY Book
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
332. Definition du language algorithmique algol 68
پدیدآورنده: Buffet, J
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B8
333. Definition of programming languages by interpreting automata
پدیدآورنده: Ollongren, Alexander.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
رده :
QA
76
.
7
.
O39
334. Definition of programming languages by interpreting automata
پدیدآورنده: / Alexander Ollongren
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Formal languages,Sequential machine theory
رده :
QA
76
.
7
.
O39
335. Denotational semantics
پدیدآورنده: / by Joseph E. Stoy
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics
رده :
QA
76
.
7
.
S74
336. Denotational semantics :
پدیدآورنده: David A. Schmidt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
S34
1986
337. Design and implementation of programming languages
پدیدآورنده: / edited by John H. Williams and David A. Fisher
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
QA
76
.
7
.
D47
338. Design and implementation of programming languages : proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
پدیدآورنده: edited by John H. Williams and David A. Fisher
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
54
339. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده: edited by John H. Williams and David A. Fisher
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
54
340. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
7
.
D47
